Composition of Default Specificationsf
نویسنده
چکیده
In this paper we identify and explain diierent types of composition of speciications using defaults. Such defaults model overridable rules in object speciications. When composing object speciications it is desirable to control to what degree the intended behavior of the composition depends on the local intended behaviors. For this purpose two types of composition, open and closed composition, are studied. Open composition allows for unrestricted overwriting of the information present in each of the local modules. Closed composition, on the other hand, displays the best possible agreement of the local modules. Its intended behavior is build from the intended behavior of the modules to be composed. The two kinds of composition are formally analyzed within an institutional framework for compatibility of their syntactical and semantical levels, which are formed by appropriate categories of speciications and of preference relations on models.
منابع مشابه
Investigating The Asymmetric Effects of Macroeconomic Variables on Bank Default Rates During High and Low Default Periods
In recent decades, the high rate of inflation has been one of the concerns of Iran's economy, and one of the main causes of inflation has been the imbalance of banks. The level of non-current claims of banks has been increasing due to the economic recession, credit facilities and the lack of optimal allocation of facilities, and therefore it has unbalanced the balance sheets of banks, hence the...
متن کاملThe Effect of Macroeconomic Variables on Credit Default Cycles in the Country's Monetary Market
The main challenge facing the country's banking system is credit default or the possibility of defaulting borrowers from fulfilling their obligations to the banking system, known as credit risk. Therefore to control credit risk, the factors influencing this type of risk must be identified. Several factors affect credit default in the non-government sector. This study examines the asymmetric ef...
متن کاملAn Application of Genetic Network Programming Model for Pricing of Basket Default Swaps (BDS)
The credit derivatives market has experienced remarkable growth over the past decade. As such, there is a growing interest in tools for pricing of the most prominent credit derivative, the credit default swap (CDS). In this paper, we propose a heuristic algorithm for pricing of basket default swaps (BDS). For this purpose, genetic network programming (GNP), which is one of the recent evolutiona...
متن کاملDependence of Default Probability and Recovery Rate in Structural Credit Risk Models: Empirical Evidence from Greece
The main idea of this paper is to study the dependence between the probability of default and the recovery rate on credit portfolio and to seek empirically this relationship. We examine the dependence between PD and RR by theoretical approach. For the empirically methodology, we use the bootstrapped quantile regression and the simultaneous quantile regression. These methods allow to determinate...
متن کاملComposition of Default Specifications
In this paper we develop a theory of composition of default specifications. This theory generalizes the work by Goguen and Burstall, where specifications written in an arbitrary logical system (institution) are structured as combinations of theories. It extends the classical composition by allowing partial re-use (and overriding) of specification modules. The modularisation units are hierarchic...
متن کامل